异构时空数据的转换机制研究

目前时空模型难以兼顾时空语义表达与计算机实现困难的现状,形成不同部门、不同应用、不同时期的时空数据在语义、模型、结构等方面的差异,阻碍了时空数据之间的相互转换,限制了历史数据在预测预报等领域重要作用的发挥.在总结时空数据模型特点的基础上,试图以一个崭新的视角分析时空模型的发展历程;在此基础上,采用图论这一通用数据结构与数学描述方法.构建具有完备性的时空数据描述模型;探讨由此引发的异构时空数据的转换机制.最后,在异构时空模型之间的转换机制中分析了该模型的特点.     

可数基-中紧空间

文章引入了可数基-中紧空间，并且获得了如下主要结果：1）设f：X→Y为完备映射，Y为可数基-中紧空间，则X是可数基-中紧空间.2）设X是可数基-中紧空间，Y是紧空间，则X×Y是可数基-中紧空间.3）设X是可数基-中紧空间，Y是局部紧的可数基-中紧空间，则X×Y是可数基-中紧空间.     

一类线性不确定切换系统的鲁棒镇定

考虑一类标称系统存在统一Lyapunov函数的线性不确定切换系统的鲁棒镇定问题,在不确定项满足一定限定条件下,利用完备性条件和统一Lyapunov函数方法,设计出鲁棒状态反馈控制器,使闭环系统仍然具有统一Lyapunov函数,从而在任意的切换策略下,确保闭环系统在其平衡点处是渐近稳定的. 仿真结果表明所设计的控制器是有效的.     

双诱导映射下的Anti—L—子群

证明了双诱导映射下Anti-L－子群和Anti-L正规子群的性质。     

正规类中遗传根的一个性质

在结合环中，Amitsur证明了：设R是遗传根，对环A的任意两个理想Ii，令Ii^-是由Ii^-/Ii=R（A/I）所唯一确定的A的理想，i=1,2,则有（I1∩I2^-)=I1^-∩I2^-。本文在更广泛的意义下证明此定理，推广了Amitsur的结果，同时给出它的几个应用。     

1|B,r_j∈{0,r}|ΣC_j问题的复杂性及近似算法

讨论了分批排序中工件有两个到达时间 ,以工件完工时间总和为目标函数的批处理问题 ,证明了其NP_完备性 ,并以Brucker等[1] 给出的动态规划算法为基础 ,给出了一性能指标为 2的多项式时间近似算法     

Quantale上的Ⅰ型结构及其性质

引入了Quantale上Ⅰ型结构和弱子结构的概念,讨论了Ⅰ型结构和弱子结构与映射之间的对应关系,利用Quantale上的、∨和∧等运算,分别给出了Quantale上的一个非空子集是Ⅰ型结构和弱子结构的充要条件,证明了在预Girard Quantale上Ⅰ型核映射与Ⅰ型理想余核之间是一一对应关系.     

BL_Δ~*系统的完备性

研究了BL*系统和BR0-代数.首先在BL*系统的基础上添加了一元逻辑连接词Δ,得到BL*系统的一种模式扩张BL*Δ系统,随后提出了ΔBR0-代数的概念,其次研究了ΔBR0-代数中的Δ-滤子及其性质,最后证明了BLΔ*系统的完备性,给出了BLΔ*系统的广义演绎定理.     

相容映射的公共不动点

该文证明了完备度量空间上相容映射公式不动点的存在性，所得结果推广和改进了Ｐａｎｔ［１］的结果。     

关于一致凸度量线性空间中的若干性质

本文利用一致凸完备度量线性空间的自反性给出一致凸完备度量线性空间中弱收敛的一个新特征，同时给出一致凸完备度量线性空间中最佳逼近的一个结果。